Security Protocols with Privacy and Anonymity of Users
نویسندگان
چکیده
منابع مشابه
Security Protocols with Privacy and Anonymity of Users
Security is very important for many Internet and mobile applications, but with the recent proliferation of tracking and profiling of users and unauthorized distribution of their personal data, user privacy is also becoming a very important issue. In addition, new technologies are introducing the possibility of innovative applications that require user anonymity. Privacy means that user identiti...
متن کاملAutomated Verifying Anonymity and Privacy Properties of Security Protocols
Security protocols play more and more important role with widely use in many applications nowadays. They are designed to provide security properties for users who wish to exchange messages over unsecured medium. There are many tools were designed to specify and verify security protocols such as Casper/FDR, ProVerif or AVISPA. While most of the existing tools focus on secrecy and authentication ...
متن کاملVehicle Safety Communications - Protocols, Security, and Privacy
vehicle safety communications protocols security and privacy vehicle safety communications security bme-hit vehicle safety communications protocols security and security and privacy for a connected vehicle environment surveillance, privacy and the ethics of vehicle safety surveillance, privacy and the ethics of vehicle safety personal information and the design of vehicle safety vehicle safety ...
متن کاملComposing Security Protocols: From Confidentiality to Privacy
Security protocols are used in many of our daily-life applications, and our privacy largely depends on their design. Formal verification techniques have proved their usefulness to analyse these protocols, but they become so complex that modular techniques have to be developed. We propose several results to safely compose security protocols. We consider arbitrary primitives modeled using an equa...
متن کاملPrivacy and Anonymity
Since the beginning of the digital area, privacy and anonymity have been impacted drastically (both, positively and negatively), by the different technologies developed for communications purposes. The broad possibilities that the Internet offers since its conception, makes it a mandatory target for those entities that are aiming to know and control the different channels of communication and t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Universal Journal of Communications and Network
سال: 2015
ISSN: 2331-6748,2331-6756
DOI: 10.13189/ujcn.2015.030403